101. Distributed programming : theory and practice
المؤلف: / A. Udaya Shankar
المکتبة: مكتبة حرم كيش الدولي بجامعة طهران (هرمزکان)
موضوع: Computer science,Software engineering,Logic design
رده :
QA76
.
6
102. E-Commerce and Intelligent Methods
المؤلف: edited by Javier Segovia, Piotr S. Szczepaniak, Marian Niedzwiedzinski.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Economics.,Management information systems.
103. ESPRIT '90 :
المؤلف: Commission of the European Communities. Directorate-General for Telecommunications, Information Industries, and Innovation.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer engineering.,Computer science.
104. Embedded software :
المؤلف: Colin Walls.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Embedded computer systems-- Programming.,Systèmes enfouis (Informatique)-- Programmation.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Embedded computer systems-- Programming.
رده :
TK7895
.
E42
W35
2006eb
105. Encyclopedia of Computer Science and Technology /
المؤلف: edited by Phillip A. Laplante.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Information technology, Encyclopedias.,Computation.,Networks.,Software Engineering & Systems Development.,Information technology.
رده :
T58
.
5
.
E53
2017
106. Encyclopedia of microcomputers
المؤلف: executive editors, Allen Kent, James G. Williams ; administrative editor, Rosalind Kent
المکتبة: (کرمان)
موضوع: Microcomputers- Dictionaries
رده :
QA
76
.
15
.
E52
1988
107. Energy minimization methods in computer vision and pattern recognition :
المؤلف: Marcello Pelillo, Edwin Hancock (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer vision, Congresses.,Pattern recognition systems, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer vision.,Computers-- Computer Graphics.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Data Processing.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Image processing.,Mathematical theory of computation.,Maths for computer scientists.,Pattern recognition systems.,Pattern recognition.
رده :
TA1634
.
E44
2017eb
108. Engineering trustworthy software systems :
المؤلف: Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computer security.,Computer software.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
758
109. Essential Delphi 2.0 fast :
المؤلف: John Cowell.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Borland Delphi 2.0.,Computer software -- Development,Delphi -- (Programmiersprache)
110. Evolvable hardware /
المؤلف: Tetsuya Higuchi, Yong Liu, Xin Yao (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Digital integrated circuits-- Design and construction.,Evolutionary computation.,Evolutionary programming (Computer science),Logic circuits-- Design and construction.,COMPUTERS-- Computer Engineering.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Machine Theory.,Digital integrated circuits-- Design and construction.,Digital integrated circuits-- Design and construction.,Evolutionary computation.,Evolutionary computation.,Evolutionary programming (Computer science),Evolutionary programming (Computer science),Informatique.,Logic circuits-- Design and construction.,Logic circuits-- Design and construction.
رده :
QA76
.
618
.
E96
2006eb
111. Evolvable hardware
المؤلف: / Tetsuya Higuchi, Yong Liu, Xin Yao, (eds.)
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Evolutionary computation,Evolutionary programming (Computer science),Digital integrated circuits- Design and construction,Logic circuits- Design and construction
رده :
QA76
.
618
.
E96
2006
112. Evolvable hardware
المؤلف: / Tetsuya Higuchi, Yong Liu, Xin Yao, (eds.)
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Evolutionary computation,Evolutionary programming (Computer science),Digital integrated circuits- Design and construction,Logic circuits- Design and construction
رده :
QA76
.
618
.
E96
2006
113. Evolvable systems
المؤلف: Tetsuya Higuchi, Masaya Iwata, Weixin Liu (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Digital integrated circuits-- Design and construction, Congresses.,Evolutionary computation, Congresses.,Evolutionary programming (Computer science), Congresses.,Logic circuits-- Design and construction, Congresses.
114. Evolvable systems : from biology to hardware : First International Conference, ICES 96, Tsukuba, Japan, October 7-8, 1996 : proceedings
المؤلف: Tetsuya Higuchi, Iwata Masaya, Weixin Liu )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Evolutionary programming )Computer science(,Congresses ، Evolutionary computation,Design and construction -- Congresses ، Digital integrated circuits,Design and construction -- Congresses ، Logic circuits
رده :
QA
76
.
L28
Vol
.
1259
115. Expert Systems in Engineering Applications
المؤلف: edited by Spyros Tzafestas.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Engineering economy.
رده :
TA345
.
E358
1993
116. Exploring the early digital /
المؤلف: Thomas Haigh, editor.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer systems-- History, Congresses.,Computers, Congresses.,Computer systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.
رده :
QA75
.
5
.
E96
2019
117. FM '99 - formal methods / 2.
المؤلف: Jeannette M. Wing ... (ed.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
118. Formal Methods in Programming and Their Applications :
المؤلف: edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
E358
1993
119. Formal aspects of component software :
المؤلف: Kyungmin Bae, Peter Csaba Ölveczky (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Component software, Congresses.,Formal methods (Computer science), Congresses.,Logics and Meanings of Programs.,Component software.,Computer programming / software development.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
F67
120. Formal methods and object technology
المؤلف: S.J. Goldsack and S.J.H. Kent (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Programación orientada al objeto (Informática)
رده :
QA76
.
64
S546
1996
